Princípios de C++, 5ª Edição: Os Mecanismos do Controle de Cópia

Dominar o ciclo de vida de um objeto C++ é comandar os próprios mecanismos da existência no heap e pilha. O controle de cópia define como uma classe gerencia seu tempo de vida através de duas operações: o construtor de cópia e o operador de atribuição por cópia.

1. Inicialização versus Atribuição

Inicialização direta (por exemplo, string dots(10, '.')) invoca um construtor diretamente. No entanto, inicialização por cópia (string s2 = dots) depende do construtor de cópia. Diferentemente da inicialização, atribuição (trans = acum) sobrescreve um objeto existente usando operador=. Uma restrição crítica: o parâmetro do construtor de cópia deve ser uma referência (const Foo&); caso contrário, passar um argumento por valor acionaria um loop recursivo infinito de chamadas de cópia.

2. O Papel da Síntese

Se você não definir esses membros, o compilador fornece versões sintetizadas que realizam cópias por membro. Cuidado: embora sejam suficientes para tipos simples, frequentemente falham em classes que gerenciam memória dinâmica, levando a ponteiros pendurados ou liberações duplicadas.

TERMINALbash — 80x24

> Ready. Click "Run" to execute.

QUESTION 1

Why must the first parameter of a copy constructor be a reference type (usually const)?

To allow the compiler to optimize the code into a move operation.

To prevent infinite recursion during parameter initialization.

Because pointers are not allowed in constructor signatures.

To ensure the object is placed on the heap rather than the stack.

QUESTION 2

What is the primary difference between Copy Initialization and Direct Initialization?

Direct initialization uses the assignment operator; copy initialization does not.

Copy initialization always requires the 'new' keyword.

Direct initialization asks the compiler to find the best constructor; copy initialization requires the copy constructor.

There is no functional difference; they are just different syntax for the same call.

QUESTION 3

Assume 'numbered' has a synthesized copy constructor that copies a unique ID 'mysn'. What happens if you run: numbered a, b = a, c = b;?

Each object (a, b, c) will have a unique 'mysn' value.

The program will fail to compile because IDs cannot be copied.

All three objects will share the exact same 'mysn' value.

Object 'a' will be reset to zero after the copy.

QUESTION 4

Which of the following would trigger a compilation error if the constructor 'vector<int>(int size)' is marked 'explicit'?

vector<int> v(10);

vector<int> v = 10;

f(vector<int>(10));

vector<int>* p = new vector<int>(10);

QUESTION 5

What should a well-behaved copy-assignment operator usually return?

void

A copy of the current object by value.

A reference to the left-hand operand (*this).

The memory address of the right-hand operand.